恩里科·金西格里亚;马可·马拉提亚 求解具有定性偏好的可满足性问题的算法。 (英语) 兹比尔1357.68206 Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,327-344(2012)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}和\textit{M.Maratea},莱克特。注释计算。科学。7265,327--344(2012;Zbl 1357.68206) 全文: 内政部
伊曼纽尔·迪·罗莎;恩里科·金西格里亚;马可·马拉提亚 用偏好解决可满足性问题。 (英语) Zbl 1208.68199号 约束条件 15,第4期,485-515(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Di Rosa}等人,《限制条件》15,第4期,485--515(2010;Zbl 1208.68199) 全文: 内政部